Suchergebnis

• Adaptive Kommunikationsunterstützung in offenen Systemen Solvie, Geert Als Ms. gedr., Düsseldorf : VDI-Verl., 1994

• Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender Objekte Conrad, Stefan Als Ms. gedr., Düsseldorf : VDI-Verl., 1994

• Integrated formal methods 11th international conference, IFM 2014, Bertinoro, Italy, September 9 - 11, 2014 ; proceedings Albert, Elvira (Hrsg.) ; IFM <11., 2014, Bertinoro> Cham [u.a.] : Springer, 2014

• Zur Spezifikation von Objektgesellschaften mit TROLL light Herzig, Rudolf Als Ms. gedr., Düsseldorf : VDI-Verl., 1995